Dietrich Mateschitz: Red-Bull-Chef ist tot