Gravar-mail: Algorithms for Lightweight Key Exchange †