(1) Nach Beendigung der Tagesdienstzeit ist den Bediensteten eine ununterbrochene Ruhezeit von mindestens elf Stunden zu gewähren.

(2) Den Bediensteten ist eine ununterbrochene wöchentliche Ruhezeit (Wochenruhezeit) von mindestens 35 Stunden einschließlich der täglichen Ruhezeit zu gewähren. Diese Wochenruhezeit schließt grundsätzlich den Sonntag, wenn dies aus wichtigen dienstlichen Gründen aber nicht möglich ist, einen anderen Tag der Woche ein.

(3) Wird die Wochenruhezeit während einer Kalenderwoche unterschritten, ist sie in der nächstfolgenden Kalenderwoche um jenes Ausmaß zu verlängern, um das sie unterschritten worden ist.