Restaurationen af Trondhjems domkyrka.