Die MERGE Routine auf Folie 16 ist nicht korrekt. 

Die if-Abfrage in Zeile 3 muss die folgende Bedingung haben: 

   i<=q and A[i]<A[j] 

Damit wird der Fall beruecksichtigt, dass das zweite Teilarray schon 
ganz aufgebraucht ist und man deshalb auf jeden Fall auf das erste
zurueckgreifen muss. Das passiert zwar nur ganz am Schluss, aber eben
doch. 

Vielen Dank an Philipp Thome fuer den einschlaegigen Hinweis.