For isotopic labelling experiments with 13 CO2, the isotopic abundance of the generated product CO was recorded in a Thermo Scientific Nicolet iS50 IR spectrometer in a gas-phase transmission mode. The generated gas mixture after the experiment was transferred from the cathode headspace by vacuum extraction to an IR cell equipped with KBr windows with 10 cm path length.