stortinget förlängd sessionstid på vanligt sätt.