The temperature jump at a growing ice–water interface