var , att raset egde rum under middagstiden , då arbetarne begifvit sig upp ur grufvan , ty i annat fall hade förmodligen en fasansfull katastrof inträffat.