Så ble det norsk stein på det nye operahuset likevel. Ikke så mange kvadratmeter som mange hadde håpet, men en hvit granitt fra Rennebu med et vakkert grønnskjær vil pryde bygget på steder der den italienske marmoren ikke holder mål av holdbarhetsmessige grunner.