Höstterminen afslutades den 15 december.