man , och i kotiljongen utdelades Holbergsmedaljen.