af de strejkande bestå af kolgrufvearbetare.