Kodkod - Deutsch Englisch Wörterbuch