Ok, as there is no answer so far, here is what I found:
- Vodafone UMTS-Stick K3765-HV weiß
It's still available from various distributors, and it corresponds to "K3765" which is listed in the compatibility list. So it should work. I also opened a case with cisco partner help line, let's see what result comes from there :-)