Hans namn var Johan Haydinger.