Activities and Phase Diagram Data of NaF--AlF3--Al2O3 Mixtures Derived from Electromotive Force and Cryoscopic Measurements. Standard Thermodynamic Data of beta-Al2O3(s), Na3AlF6(s), Na5Al3F14(s) and NaAlF4(l).