Crystal structure re fi nement and chemical formula of prosopite , CaAl 2 F 4