PaperGeneration of 425-nm light by waveguide frequency doubling of a GaAlAs laser diode in an extended-cavity configuration