Family thankful for support as De Miguel funeral held

· BBC News