condensation pump 冷凝泵

参见 diffusion pump。