en tvungen förkortning af arbetstiden.