https://www.dict.cc/english-german/mercury+pump.html