Focusing neutron reflectometry: Implementation and experience on the TOF-reflectometer Amor | Synapse