prinsen samt prins Christian af Danmark.