A small reduction of population, closer inspection gives 165000. Quite a churn though: from predominantly German until 1947, by 1990 it is 90% Hungarian with most of Germanic origin having left.
A street exhibition told the history of [Eastern] Europe 1918-23, which is still being played out today. We trash and disrespect democracy at our peril. EU investment boards everywhere: recycled from the UK?
The Hofmanstadt is lovely with walls that withstood the Ottomans. The City of Eyes. Our first Eastern Orthodox cathedral on this trip. Buskers, bustling, interesting.
A good rest day. Tomorrow an early rise for a day with a good climb.