pumping device - German English Dictionary