general directorate of industrial research and development - Deutsch Englisch Wörterbuch