stora kolgrufvearbetarestrejäeu i Tyskland så att säga stannati