institute for research on data processing and random systems - Deutsch Englisch Wörterbuch