"pumping operation" Deutsche bedeutung