Benchmark calculations with correlated molecular wave functions. VII. Binding energy and structure of the HF dimer | Synapse