Öfverdirektoren for ungerska bergsväsendet,