emellertid en resolution om en åtta timmars normalarbetsdag för grufarbetare.