directorate of mining research and production - Deutsch Englisch Wörterbuch