Nach Beendigung der Tagesdienstzeit ist den Bediensteten eine ununterbrochene Ruhezeit von mindestens elf Stunden zu gewähren.
Rückverweise
Keine Verweise gefunden
