Beamten-Dienstrechtsgesetz 1979
Bundesgesetzblatt Nr. 333 aus 1979, zuletzt geändert durch Bundesgesetzblatt Teil eins, Nr. 61 aus 1997,
Paragraph 48 c,
01.07.1997
Nach Beendigung der Tagesdienstzeit ist dem Beamten eine ununterbrochene Ruhezeit von mindestens elf Stunden zu gewähren.