If somebody wants to give it a try: https://securedl.cdn.chip.de/downloads/30157394/redstar_desk... (hosted by chip.de, a german low quality "IT" news site/magazine).

4.0 is released, but I couldn't find it anywhere. Ping me if you have it!