Am 25. Juli veröffentlichte das Königshaus eine Pressemitteilung: Prinz Joachim von Dänemark musste mitten im Familienurlaub operiert werden.