Officiell öppnades stortinget ionsdags