external pipe - German English Dictionary