— Reglementerad arbetstid i Norge.