Tyske grufarbetarnes tillämnade stora strejk.