af järn , mätande 7,502 tons.