Arbeitszeitgesetz
Bundesgesetzblatt Nr. 461 aus 1969, zuletzt geändert durch Bundesgesetzblatt Nr. 446 aus 1994,
Paragraph 12
01.07.1994
30.04.1997
Ruhezeiten
Paragraph 12, (1) Nach Beendigung der Tagesarbeitszeit ist den Arbeitnehmern eine ununterbrochene Ruhezeit von mindestens elf Stunden zu gewähren. Durch Kollektivvertrag kann zugelassen werden, daß die ununterbrochene Ruhezeit für männliche Arbeitnehmer nur zehn Stunden beträgt.