slutades mod vanlig högtidlighet höstterminen.