Ohne daß wir es mitbekommen haben, wurde die Numerierung der Stichwörter geändert. Da nunmehr das binäre Zahlensystem gilt, kann obiges Stichwort ersatzlos gelöscht werden. Die Entscheidung liegt bei uns, den Usern.