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