at once. But apperently, the problems where all cause
by some network messup at the CCC,
which also kept me from reading this mailing list :(
After hardcoding the new IP into /etc/hosts, everything seems to work now, even from
here.
Apperently, the IP change did not get through to all DNS servers yet...
Daniel