man , och i cotillonen utdelades Holbergsmedaillen.