årsproduktion af i rundt tal 250,000 ton stenkol , en produktion , som svårligen torde kunna ökas , såatt