Holbergsfest egde rum i dag kl. 12.