Last night I took a walk around the city center here, and had a delightful meal at a restaurant near some of the most famous sights. I won't try getting the name of the restuarant correct; it includes several accented characters I don't know how to type. For less than 20 €, I had a beer, beef tenderloin in green pepper sauce, and a delicious desert of rum-drenched cake in chocolate sauce and whipped cream. I read a bit of this city's history on Wikipedia. Among the tidbits of information there was the fact that a well-know Texan settler was born here. It's a small world indeed.