handbook for the Herschel/HIFI instrument to become part of the Herschel Explanatory legacy library