Peierls, Rudolf E. (Rudolf Ernst), 1907-1995