use of a vacuum pump in the optics