Wochenendruhe, Wochenruhe, Ersatzruhe und Feiertagsruhe
§ 4. Der Arbeitnehmer, der nach der für ihn geltenden Arbeitszeiteinteilung während der Zeit der Wochenendruhe beschäftigt wird, hat in jeder Kalenderwoche an Stelle der Wochenendruhe Anspruch auf eine ununterbrochene Ruhezeit von 36 Stunden (Wochenruhe). Die Wochenruhe hat einen ganzen Wochentag einzuschließen.