Högtidsdagen — Onsdagen den 20 dennes—