Fluorite Sauberg mine, Ehrenfriede