högtidsdag , som firades med sedvanlig ståt.