öfver 4,000 tons malm,