Direct optical pumping of high-pressure CO 2 and N 2 O lasers with a pulsed HF pump laser