Van der Bellen wurde Bundespräsident, Hofer nicht.