Phase diagram of the NaF–CaF2 system and the electrical conductivity of a CaF2-based solid solution