under höstterminen 1 Okt . — 15 Dec.