Andreas Mitterlehner starb in der Nacht auf Donnerstag.