1. Bei der Verwaltung einer Betriebskrankenkasse einer Bundesverwaltung (Bundesverwaltungskasse) ist ein eigener Personalrat zu bilden, auch wenn das Personal dieser Verwaltung nicht in beamtenrechtlichen oder arbeitsrechtlichen Beziehungen zu dieser Krankenkasse steht.