Minería: Obras de Bruch, Holst y estreno de Torres Maldonado