o ) Befrämjande i allmänhet af bergsbruket.