coq - Deutsch Englisch Wörterbuch