Question: Did both Ormindo and Doktor Faust perform at the Teatro San Cassiano opera house?
Sentence (from "Ormindo"): "Ormindo" was first performed in 1644 at the Teatro San Cassiano, Venice, the world's first public opera house.
Relevant evidence: Yes