The Herschel-Heterodyne Instrument for the Far-Infrared (HIFI)