Measuring the pressure in a gas thermometer