„Austro-Nobelpreis“ für Informatikerin Monika Henzinger