stortinget i juli månaddetta