— Kristian VII af Danmark.