Majakovski / Oktober, Stadsschouwburg Amsterdam