topping-up pipe - German English Dictionary