An infrared ultrashort-pulse source for industrial microprocessing. The two pulse-energy figures below refer to different repetition rates.