utnämnde : Bergmästaren i sjunde bergmästare-distriktet , fil.