middagstiden , då arbetarna begifvit sig upp ur grufvan , ty i annat fall hade förmodligen en fasansfull katastrof inträffat.