Langer–Cherry derivation of the multi-instanton expansion for the symmetric double well