” En fruktansvärd grufexplosion egde i lördags rum i en grufva vid Anina i Ungern.