Welch großer Verlust für den Pakt. Tonn war der beste Sprengmeister, den wir je hatten. Wenn er mal gerade keine neuen Sprengstoffe erfand, so entdeckte er stattdessen neue Wege, wie seine alten Sprengstoffe angewandt werden konnten.