to obtain high vacuum