Geburtsname ist Toni, nicht Anton. Die ursprüngliche Quelle der Namensnennung Anton Das Magazin hat ihren Beitrag nach Personalausweis-Vorlage am 8.9.2020 korrigiert. -- GargaMelli 13:58, 22. Sep. 2020 (CEST)