It just occurred to me that Toto Wolff's first name is actually, you know, a nickname, like Checo Perez or Keke Rosberg or Howdy Holmes.
Do you know what his real first name is? You know, the one he was born with and how his mother presumably addressed him when she was telling him off. I had to look it up.
(NB this isn't a trick, it's just a regular Germanic name, albeit a somewhat unusual one. I am somewhat interested in whether in German-speaking countries people ever call him by this name or if he's always called Toto there as well.)