Rörelsen bland tyska grufarbetarne.