officiel fest , men konungen och prinsarne af Portugal aflade den 29 dec.