Hochvakuumpumpe Hochvakuum|pumpe [-va-] f =, -n физ., тех. высоковакуумный насос Большой немецко-русский словарь