"pumping device" Deutsche bedeutung