Question: Did both Ormindo and Doktor Faust perform at the Teatro San Cassiano opera house?
Sentence (from "Doktor Faust"): Doktor Faust is an opera by Ferruccio Busoni with a German libretto by the composer himself, based on the myth of Faust.
Relevant evidence: Yes