F1-Welt trauert: Ex-Teamchef von Senna ist tot