Danke erstmal für die Antwort!
Allerdings habe ich weder im MiKTeX-Package-Manager, noch beim automatischen Installieren eine Möglichkeit gefunden, den Server einzustellen. Kommt nur die Frage, ob ich es über das Internet, aus einem Verzeichnis oder von einer CD installieren will. Dann gibt's neben Internet noch die
Connection Settings, wo ich einen Proxy auswählen kann. Ist es das vielleicht?
Über die Settings sehe ich dann irgendwann das gleiche. Siehe Anhang.
edit: OK, hab's jetzt rausgefunden: Im Package Manager auf Repostitory -> Change Repostitory. Da frag ich mich, wie ich den Weiter-Button so ignorieren konnte... jedenfalls hab ich's mir jetzt von der FU Berlin heruntergeladen und es klappt.
