arbetas dag och natt , och det beräknas , att man under ett helt år kan utgräfva 9 — 10 , 000 tons dagligen utan att behöfva skära sig djupare nedi