antagit normalarbetsdag för grufarbetarne.