Re: Curve25519 [was: Re: brainpool curves]