Nach wochenlangen Gerüchten in Medienkreisen ist es nun traurige Gewissheit: Dietrich Mateschitz, Gründer und CEO von Red Bull, ist tot.