— Holbergsjubiléet den 3 dec.