719 tons stenkol ; Joh.