Thermal energy supply