Специально недавно выяснял про произношение его фамилии. По словам одного немца, его фамилия произносится как Тюхсен.