— Kristian V , konung i Danmark.