linear arithmetic - Deutsch Englisch Wörterbuch