ämbetsman , som för tillsyn öfver ett bestämdt bergverksdistrikt.