750 grufarbetare nedgått i grufschakten , der explosionen inträffade.