patroner , en gemensam benämning pä bergsmän , brukare , bergsbeukare , bruksidkare , bergsbruksidkare , brukspatroner , bruksägare m . fl.