utnämnd till bergmästare i anda bergmästaredistriktet.