Petra Bohuslav wird neue Managerin der Wiener Staatsoper.