— Holbergsjubileet — den 3 december—