retjensten i Ostra bergmästaredistriktet , genom bergmästaren m . m.