kolgrufvearbetarne både arbetare iallmänhet