Personal der öffentlichen Verwaltung (Statistik der Bundesrepublik Deutschland, 1952)