Konungen af Danmark bevistade den25