någon förkortning af arbetstiden.