arbetare , hvaraf järngrufvorna tagit 6,470 och järnverken 18 , 171.