Translation of "Jockey pump" in German