high-vacuum diffusion pump - Spanisch Englisch Wörterbuch