The hard coke is obtained when carbonization of coal is carried out at