konnng Christian den nionde as Danmark.