Vorzeitiges Schichtende: Die durch das Arbeitszeitgesetz vorgeschriebene Ruhezeit gilt auch für Betriebsräte