(Diese Frage habe ich anfangs veröffentlicht. Ich entschuldige mich für die Verwendung von StackOverflow anstelle von SuperUser - jetzt erkenne ich den Fehler meiner Wege.)
Dies stellte sich als vorübergehendes Problem heraus. Ich habe die gleichen Schritte ein paar Tage später erneut versucht, und es hat sich gut mit dem Folding @ home-Server verbunden. Offensichtlich hatte ich bei meinen ersten Versuchen außerordentlich viel Pech.