double-walled pipe - Deutsch Englisch Wörterbuch