med ledamöter af stortinget slutades kl. 3,15 e. m.