Tägliche Ruhezeiten

§ 48c.

Nach Beendigung der Tagesdienstzeit ist dem Beamten eine ununterbrochene Ruhezeit von mindestens elf Stunden zu gewähren.