Vakuumpumpe - vertaald uit het Duits in het Engels