mercury rotating pump type - German English Dictionary