strejk af kolgrufvearbetare har upphört.