Sträjkrörelsen bland tyske grufarbetare.