Schade, guter Mann. Aber mit 93 und *dem* Leben hat man es sich verdient in Ruhestand zu gehen.

Es ranken sich ja allerlei Mythen um ihn, wenn das wahr ist.