end of the laser pulse); and subsequent length adjustment of the optical cavity in preparation for lasing with the new mirror. We would like to have been able to keep running!