Oil For Diffusion Pump, Vacuum Pump Oil, Diffusion