kunna produceras , lågt beräknadt , 10,000 tons cokes.