Theory of the strong hydrogen bond. Ab initio calculations on HF2- and H5O2+1a | Synapse