en grufva sammanstörtade , hvarefter vatten inträngde i grufvan , och en mängd arbetare dödades.