Danke für die Links, hab beide runtergeladen, aber ich vermute die serverlisten sind veraltet.
Bzw. WIE starte ich den Electrum 4.03 über TOR?

Electrum-XVG2.4 hat nur den electrum-verge.xyz engetragen.
Den electrum-xvg.stream hab ich gefunden, aber ich kann ihn nur in das Feld neben Auto connect eintragen, er wird aber scheinbar nie übernommen. Der Client ist immer noch in Not connected.

Electrum Verge 4.0.3 hat auch geklapp, aber er sagte dann ich müsse "neu über TOR starten" - aber ich finde nix wie das in OSX funktioniert.
Und der Client ist auch "Nicht verbunden (Proxy aktiviert).

Es geht um rund 700 EUR in XVG, daher wäre ich froh wenn ich die zurückbekommen könnte.