Movies filmed in Oslo Opera House, Oslo, Norway

There are 2 movies that were filmed in Oslo Opera House, Oslo, Norway.
City: Oslo Country: Norway
Thelma
(2017)
Tenet
(2020)