förfriskningar ; grufvan döptes till : » Kung Oscars grufva ».