och prinsen erhöll namnen Harald Carl Frederik.