We then crossed the Danube to the Buda side of the city, and up to the old town around Buda Castle.

After a walk around, we visited St Mathius Church, which has an elegant roof:

And a nice interior.