Question: What Saint Petersburg theater did Paul Gerdt star at?
Sentence (from "Mariinsky Theatre"): The Mariinsky Theatre (Russian: Мариинский театр , Mariinskiy Teatr, also spelled Maryinsky or Mariyinsky) is a historic theatre of opera and ballet in Saint Petersburg, Russia.
Relevant evidence: Yes