all öfwerintendenten , bergmästaren i sjunde distriktet , riddaren af K.