(1) Der oder dem 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.

(2) 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.