konungens hederspris tilldelades Halvorsen.