Das Personal der Bundesbehörden und -betriebe nach dem Stande vom 2. Oktober 1956 und 1957.