kolgrufvearbetare före bådas för genomdrifvande af åtta timmarsarbetsdag