Formel-1-Legende Niki Lauda ist tot.