upplysningar hade 750 grufarbetare nedgått i schackten.