i Saarbrucks kolrevier har en explosion af grufgas inträffat.