Efterspel tili tyska kolgrufvestrajken.