derberg 1,144 tons stenkol.