Proton space charge in anodic oxide films