så , att grufarbetaren icke behöfver vara längre än åtta timmar under jord.