Structure of 1,4-diazabicyclo[2.2.2]octane-1,4-diium dihydrogenphosphate, from X-ray and neutron data, hydrogen bond network, proton conductivity.