— Restaurationen af Ihrondhjems domkyrka.