Sankt Olav domkirke, Trondheim