We got a little lost on the way to the restaurant, but we found it eventually. Turns out, The Churchill Arms is a bar and Thai place! We left rather quickly, especially since there wasn't much room. We split to each go find food, but we all ended up at the Great British Pubs! The cod and chips were very good and filling. The chips were cooked especially well. I found it interesting which languages they translated the instructions into. I didn't expect German to be a major tourist language here. After this, we're off to the bookstore!