Element, das wandert Vergleichspartner Tausch entnommen
Java (eigene Fassung, nach Algorithmus 2.6, Listing 2.19)
Protokoll (je Operation)