Anionic ordering in Pb 2 Ti 4 O 9 F 2 revisited by nuclear magnetic resonance and density functional theory †‡