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