In what city that relatively recently hosted the Olympics was the hockey stadium built totally inside a mountain?

During the 1994 Winter Games in Norway, spectators for many of the ice hockey (Deals) matches didn't travel to a traditional stadium, but instead went deep inside a mountain. The venue, known as Gjøvik Fjellhall, or the Gjøvik Olympic Cavern Hall, was constructed specifically for the Lillehammer Olympics in the nearby town of Gjøvik. It is the largest public auditorium built inside a rock cavern anywhere in the world and hosted 16 intense hockey games during the competition.

The remarkable engineering project was chosen for several practical reasons. By placing the arena underground, it preserved the surface landscape and created a highly energy-efficient venue, as the surrounding bedrock provides constant, natural insulation for the ice rink. To create the massive space, construction crews blasted and removed over 140,000 cubic meters of solid rock. The design also served a dual purpose, as the hall was engineered to function as a civil defense shelter (Review). Today, the facility remains a vital part of the community, hosting sporting events, concerts, and exhibitions.