high-vacuum diffusion pump - Alemán Inglés Diccionario