theory of types - Deutsch Englisch Wörterbuch