OIL for diffusion pump