Frequency stabilization of a gas laser.