Adixen vacuum pumps and leak detectors