Title: The technology of the gas-cooled power reactor andrelated subjects