Holbergsjabiléet den 3 dec.