Question: What Saint Petersburg theater did Paul Gerdt star at?
Sentence (from "Mariinsky Theatre"): Today, the Mariinsky Theatre is home to the Mariinsky Ballet, Mariinsky Opera and Mariinsky Orchestra.
Relevant evidence: No