The gastric mucosa 25 years after proximal gastric vagotomy