Oslo’s St. Olav cathedral