diving-pump - German English Dictionary