sortiere a[0 .. n-1] = { für i von 1 bis n-1 führe aus { füge a[i] in a[0 .. i-1] ein } }
Invarianten: