Archivmaterialien zu Jon Elster, 1940- - Elster, Jon