Ernst Hausleitner ist über den Tod von Red-Bull-Boss Didi Mateschitz betrübt