var mer än 3,000 engelska mil jernrör nied en sammanlagd vigt af öfver 13 millioner tons,