varfsarbetarne ; varfsarbetarne af kolgrufvearbetarne ; kolarbetarne af gasarbetaane.