Hallo Adrian,
Uwe hat schon das Wesentliche genannt. In dem Bereich kamen ja in letzter Zeit viele Fluorite heraus, oft mit ganz unterschiedlichen Grubenbezeichnungen. Da wird aber viel durcheinandergemengt, was Gänge und historische Gruben angeht. Zumal sich das untertage nicht allzu leicht mehr verfolgen lässt, in welchem Feld man sich nun befindet. Bekannt ist dort die 10000 Ritter Fundgrube, vor langer Zeit eigenständig waren aber auch die Inseltschacht Fundgrube, Bergmännisch Glück usw. Insgesamt dürften da so an die 30 Gruben auf engstem Raum zusammenkommen, wenn nicht mehr.
Die Bezeichnung Eisfluorit dürfte auf die "gefrosteten" (angelösten) Fluorite abzielen, ist ein Name, der getrost vernachlässigt werden kann.
Gruß
Andreas