Norsk marmor i operahuset.