"diffusion pump" Deutsche bedeutung