Knuth, Horst ^{Individualisierte Person Person}