I en grufva i Dortmund inträffade i torsdags en gasexplosion , hvarvid 3 arbetare dödades och 13 skadades.