So since apt.physik.fu-berlin.de:80 (160.45.32.210) is down, is there a mirror to go to? Can the sources list be changed to get the right upgrades or must we wait for the site to come back up? ed