geological, mining, and metallurgical institute - German English Dictionary