bergmäslaretjensten i tredje bergmästaredistriktet.