tons , samt af gjutet jern 2,000 tons.