Trauer im britischen Königshaus: Prinz Philip ist tot :