for gas-cooled nuclear reactors