Missnöjet bland de tyske kolgrufvearbetarne,