Injection-locked dye laser pumped by a xenon-ion laser