arbetare , som vid olyckstillfället befunoo sig i grufvan , hafva omkommit.