to man the pump - German English Dictionary