och grufwan " döptes " till : " Kung Ostars grufva ".