Efterspel till de tyska grufstrejkerua.