Såsom bekant är kunna jernoxider reduceras med kol,