timmars normalarbetsdag för gruf arbetare.