arbetare , sysselsatte i grufvan , dödades.