hänsyn till en åtta timmars arbetsdag för bergverksarbetarne ensamt.