for producing high vacuum