Femtosecond infrared pulses tunable from 9 to 18 mum at an 88-MHz repetition rate.