Combine facts and answer this: Did both Ormindo and Doktor Faust perform at the Teatro San Cassiano opera house?
A:
no