general directorate of mineral research and exploration - German English Dictionary