jack pump - German English Dictionary