Ur bergmästaren Anton Sjögrens lif och verksamhet.