tons ( d. w. s. omkring 6,888 mill.