hvilken utdelades holbergska medaljer.