Crystal structures of the new fluorophosphates Li9Mg3[PO4]4F3 and Li2Mg[PO4]F and ionic conductivities of selected compositions