eller , som den också kallas “ Haakonshallen “.