Laser diverticulotomy for Zenker’s diverticulum—does it improve quality of life?