I have expanded this article considerably to include a much fuller description of his life and achievements. My aim is to get it to good article standard, at least. As I am still something of a newbie at editing Wikipedia, I would very much appreciate comments and criticisms. Portnadler ( talk) 13:25, 22 December 2016 (UTC)