Denmark, King of.