Öldampfdiffusionspumpe - German English Dictionary