§ 32 Abs. 4 des Arbeitssicherstellungsgesetzes ist für Arbeitnehmer der Bundeswehr mit der Maßgabe anzuwenden, daß an die Stelle der Agentur für Arbeit das Bundesamt für das Personalmanagement der Bundeswehr tritt.