halle från 9,500 tons , år 1830 , ökat sig , år 1837 , till 71,000 tons ;och