In 1952 , he emigrated from West Germany to the United States , and was granted citizenship in 1958 whereupon he formally anglicized his name from `` Ivan '' to `` John '' .
In 1952 he emigrated from West Germany to the United States , and was granted citizenship in 1958 whereupon he formally anglicized his name from `` Ivan '' to `` John '' .