högtidliga öppnandet af Norges 20:de ordinarie storthing.