Srejkrörelsen bland tyske grufarbetare.