Name change?
The city is written as St. Gallen, both officially and in practice, so I wonder why it's spelled out here. Besides, the length is stretching my tables. If there are no objections during the next month or so, I think I'll change it. --Calamus 18:13, 8 July 2012 (EDT)
