Some statistics on public sector employment in South Africa, 1920-1980