It's mentioned in his TV obituary near the end of the movie.
His given name is Richard but I can't hear the family name properly -- "Reuss"?
That's what the subtitles say, and that's what it sounds like.
Many thanks!