Email Record: The high temperature gas-cooled reactor :