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