högtidlighet sin hösttermin den 20 dennes.