— Normalarbetsdag i Norge.