det , och den bearbetade grufvan döptes till det kungliga namnet » Oskarsgrufvan ».