Majakovski / Oktober, Theater aan het Vrijthof