grufarbetare på stråke- och arbetsinsiällningar i mindre skala förekomma på olika håll i stenkolegrufvorna.