Tippfehler und Bugs verbessert

Im ersten Commit habe ich nur ein paar Tippfehler korrigiert. Im zweiten Commit habe ich im Abschnitt 7.4.2 "Löschen von Tries" an einer Stelle ein logisches Und durch eine Implikation ersetzt. Bitte überprüfen Sie, ob dies korrekt ist.