煤通过加热而制得焦炭的过程叫高温干馏（也称高温炼焦），其最终温度为（）℃。