at the outlet of the gas cooler