鉱山大学- 将来の鉱山・製錬従事者が高等教育を受ける教育機関(大学)。
Bildungseinrichtung (Hochschule), an der künftige Berg- und Hüttenleute eine höhere Bildung erhalten