Title: On the choice of gas coolant for nuclear reactors