konungen och kronprins Fredrik af Danmark.