Combine facts and answer this: What Saint Petersburg theater did Paul Gerdt star at?
A:
Mariinsky Theatre