double-pipe system - Deutsch Englisch Wörterbuch