rastetid för arbetarne , hvarje fjerde timma ; men kan naturligtvis minskas , om starkare maskin för luftvexlingen användes , och detta vore af nöden.