Grufstrejkerna och tyska regeringen.