Takk for tips! Jeg fant ikke ut av hvor Brasserie France lå hen. Vi endte derfor opp på Theatercaféen i stedet, og fikk forsåvidt god mat der da.