doktorer f. d. bergshauptmannen,