The Double Layer in Electrochemistry