Staatstheater Darmstadt
... that the Staatstheater Darmstadt opened a new theatre building in 1972?
... that the <b id="mwDEQ"><a href="./Staatstheater_Darmstadt" id="mwDEU" rel="mw:WikiLink" title="Staatstheater Darmstadt">Staatstheater Darmstadt</a></b> opened a new theatre building in 1972?