Efterspel till tyska kolgrufvostrejken.