Nach der Beendigung der Tagesdienstzeit ist dem Beamten eine ununterbrochene Ruhezeit von mindestens elf Stunden einzuräumen.