An ophthalmic excimer laser for corneal surgery.