The GBC-reactor is based on the combination of a gas diffusion anode and a porous cathode. A theoretical model for gas diffusion electrode, valid at relatively low current densities, is derived. This is based on the pseudohomogeneous film model including an approximation of the Volmer-Tafel mechanism for the hydrogen oxidation kinetics. Results show a severe mass transfer limitation of the hydrogen oxidation reaction inside the active layer of the gas diffusion electrode, even at low current densities. Empirical formulae are given to estimate whether leakage of dissolved hydrogen gas into the bulk electrolyte occurs at specific process conditions. A simplified version of the model, the reactive plane approximation, is presented.