A frequency doubled pressure-tunable oscillator—amplifier dye laser system