German company launches digital condom app How does it work and is it really useful