När kolgrufwearbetarne strejkade i Westfalen,