Holbergsfest började kl. 12.