För Holbergsfesten den 3 december,