Thermostat setting and economy in house heating.