double pipe - Spanisch Englisch Wörterbuch