cooling-coils-around-the-diffusion-pump