The world's chess championship, 1937;: Official account of the games,