är konung Kristian lX:de.