af Stjernstolpe ; derjemte Rinman :BergwerksLexikon