(1) Beträgt die Gesamtdauer der Tagesdienstzeit mehr als sechs Stunden, ist eine Ruhepause von einer halben Stunde einzuräumen. Wenn es im Interesse der Bediensteten der Dienststelle gelegen oder dienstlich notwendig ist, können anstelle einer halbstündigen Ruhepause bis zu drei Ruhepausen im Ausmaß von insgesamt einer halben Stunde eingeräumt werden.

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

(3) 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 ein, ist dies aus wichtigen dienstlichen Gründen aber nicht möglich, einen anderen Tag der Woche.

(4) 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 wurde.