festrepresentation vid Holbergsjubiléet nästkommande december.