Bergmästaren i 8:de bergmästaredistriktet,