Karfunkelstein war die alte Bezeichnung für rote Steine, das waren Granat, Rubin und auch der rote Spinell. Die Unterscheidung machte man erst später. Ich mag den Namen dafür, kommt doch funkel darin vor. Das beschreibt schon einiges, in guter Qualität funkeln die roten Steine stark wie bei diesen schönen Granatsteckern.