Riksdagen har sistl. tisdag den 30 oktober afslutats med vid sådana tillfällen sedvanliga högtidligheter.