— Bergmästarctjensten i 8:de bergmästaredistriktet.