Beschäftigte des Bundes nach Geschlecht und Beschäftigungsumfang: Personalstandstatistik des öffentlichen Dienstes