Desde 1916 también se añadió la antigua "Academia de minería", que se había fundado en 1770.