Hans namn var Josef Haydinger.