— Grufkatastrofen i Dortmund.