Grufarbetarnes arbetstid har undertidrymden