användes nämnda dag 9 500 tons stenkol.