[Our experience with diverticulectomy in symptomatic Zenker's diverticulum].