I goofed. I forgot the name of it. It’s the same one you mentioned. We were there a year ago in October. Really enjoyed it as well as the city. Very European in feel.