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