Efterspel till tyska kolgrufvestrejken.