Question: What is this theatre said to be?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Edinburgh_Playhouse