Effizienter Sortieralgorithmus (Divide & Conquer) mit O(n log n) im Durchschnitt; teilt Listen rekursiv anhand eines Pivot-Elements.