arbetsdagen för grufarbetarne och sträfvanden i riktning,