Gastric diverticula. Surgical significance and results of operative treatment.