— Efter kort debatt blef stortingSpresidentenden