[Mooren's ulcer treated by cervical sympathectomy: a possible new therapy (author's transl)]