upplysningar hade 750 grufarbetare nedgått i grufsehakten , der explosionen inträffade.