och f. d. bergshauptmannen m.