Jörg Haider ist tot.