In 1762, the world's first mining academy was established in the same town there.
في عام 1762، تم تأسيس أول أكاديمية التعدين في العالم في نفس المدينة هناك.