Supply of non-magnetic vacuum diffusion pumps