högtidsdag den 25 dennes.