The active species of "CO2" utilized by enzymes involved in "CO2" reduction to formate - R. K. Thauer and G. Fuchs and Paul Scherer (Goltze, 1976)