Football world mourns Tenerife striker De Miguel

· BBC News