att arbetstiden inskränkes i de fall då gruftekniken icke räcker till för att aflägsna alla de faror för hälsan som förekomma i följdaf