Srejkrörelsen bland tysko grufarbetare.