högtidsdag i stora börsvåningen , som för tillfället var festligt dekorerad.