Wie lang ist die Ruhezeit nach dem Arbeitsschutzgesetz?