I Berlin faststäldes 81 / 3 timmars arbetstid,