auktion och rifningen af den gamla teatern verkställes omedelbart derefter.