att grufarbetarne ha 8 timmars arbetsdag , men alla uppe-arbetare ha 9 och en half timmars arbetstidutom