The microscope in ocular surgery.