35 Stunden sind genug. Der Kampf um Arbeitszeitverkürzung