ton , eller åtminstone en tredjedel af hela verldens jernförbrukning.