af bergshauptmannen Sevén , som tolkade samhällets tacksamhet för herrdoktorns