German-English geological terminology;: An introduction to German and English terms used in geology, including mineralogy, petrology, mineral deposits, etc.,