vacuum-pumping (196.118)