defined names - Deutsch Englisch Wörterbuch