Ternary crystals Sr1−yEuy−x2+Eux3+F2+x of fluorite phases with a variable europium valence and their thermal conductivity (50–300 K)