uppgick till 8 , 517 , 000 tons tackjärn.