Restaurationslokaler inom Nya Teaterni