bergmästare i tredje bergmästare-distriktet.