med stortingsmedlemmar slutades kl. 3 e. m.