Ja. Man sieht jetzt leider auf der Standardkarte nichts mehr von dem Theater, aber das ist ja eher ein Problem der Kartendarstellung. Ich vermute das war auch der Grund, warum alles als building=* eingetragen war. Die Bühne in der Mitte war auch als building=tomb getagg, was noch weniger Sinn gemacht hat. Es wurden zwar hier auch Menschen begraben, aber eher im Gewölbe und dies wurde auch nicht zu dem Zweck errichtet.