18.3. Electrolysis and H2 Pump Model