A hajdani színháztér
– a Vörösmarty tér régi neve