Reparationen af Trondhjems domkyrka.