hvilka 600,000 tons jern kunna tillverkas årligen ; och som de ega stora stenkolsochjerngrufvor