Jeg er på jakt etter et hyggelig, ikke alt for høytidelig, spisested i nærheten av Det norske teatret. Har noen tips?