Double-wavelength electro-optically tuned synchronously pumped cw dye laser.