nya grufvan skall benämnas “ Kapten Petterssons grufva ."