gamla operan hade en petsovai örn 830 personer , den nya skall hafva ej mindre än 1080