Holbergs-dagen , den 3 december ,kommer