Vergleichsbasierter Sortieralgorithmus auf Basis einer Heap-Datenstruktur mit garantierter Zeitkomplexität O(n log n) im schlechtesten Fall.