Bergmästaren i första bergmästaredistriktet,