om , att stortinget skulle kunna afslutas den 25 juli är nudefinitivt