prinsen af Danmark samt prinsarne Christian och Eugen hafvai