tons stälstenor ( England 700 , 000 ).