bergmästare i vestra bergmästaredistriktet.