Crystal structure and protonic conductivity of pyrochlore phase AL2 [(OH)1-xFx]6. H2O and Al2 [(OH)1-xFx]6 (ℵ∼10.5)