Thanks for the answers. I downloaded the software from this page:

https://electrum.org/#download

It is the official version I would say. But they used the REMCOS malware to keylog everything and stole my money like this.