Grufvans namn är , , Karlsgrufvan„.