Han har gifvet grufvan namn af Nordenskjöld,