Frequency noise of the High Stability laser. The green curve shows the frequency noise of the free-running laser, the red curve shows the residual noise when the laser is locked to an ultrastable cavity.