högtidsdag i Börsens festivitetsväning.