Electrochemical Hydrogen Oxidation on Pt(100): a Combined Direct Molecular Dynamics/Density Functional Theory Study