I also did aim at that bio by R. Kanigel cos there is a German edition, too. According to the Amazon reviews it´s not just barren or academic/mathematic stuff... but the book is relatively expensive and I´m anxious to spend a lot of money for something that beats me in the end!
Manno! - it´s troublesome that "the other Jeremy" has the more fruitful part of G. H. Hardy. I´m gonna tell you one thing: if our Jeremy again has just few minutes in the movie then, then.... I don´t know what then.