Yes, it was great.
And if you go there, I would also recommend Budapest.
Thanks for the nudge. I may get more serious about going.