bergmästaredistriktet m . m.