Thanks for the research.  I went to have a look.  Door 9 is walled but indeed this is probably a separate house, despite UrbIS considers this to be one single building.

Here is the probably shape of the theater
https://www.openstreetmap.org/way/1185040376