Efterspel till tyska leolgrufvestrejken.