Leptonic decays of the Ds meson