roughing pump - German English Dictionary