Bergmästare-embetet i sjunde distriktet,