kungliga manteln och konung Alfonsos dekorationer.