jockey pump - German English Dictionary