We're doing a bit of a road trip this summer and end up with three days in Budapest city with our three kids (13, 11, 9). Can anyone recommend anything we should definitely do/visit with kids that age? Thank in advance!