Pod Ratuszem was a restaurant, now permanently closed.