bergsmannen E. G . Berggrens , d.