Three days in Prague: lots of walking, but oh boy, what a great city!