Ich bin mir jetzt sehr sicher, dass das Problem gelöst ist und dass das "SwitchProxy Tool" Version 1.4.1 die Ursache war. Gibt es eine Möglichkeit dem Entwickler eine Information darüber zukommen zu lassen? (Sorry, falls das eine dumme Frage war.)
Was sind mögliche Alternativen?
a) QuickProxy kann nicht zwischen mehreren Proxys umschalten.
b) "Multiproxy Switch" ist noch beta und von der Installation wird abgeraten.
Gibt es noch andere Alternativen?