bergmästaren i 9:e bergmästaredistriktet , ridd.