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.