Administrativia

[root at barney.cs.uni-potsdam.de]

Hello everybody,
we just want to inform you all that on Friday, 5th November the
mailinglist- server moves to another IP (141.89.48.226). The hostname
(barney) remains the same and the host at the old IP will deliver old mail 
until all DNS caches are updated. So we hope that we dont't run into
problems with lost mail.
Of course we do this not only just for fun, but for more performance and 
security. If you encounter any problems, please write to suhlmann at gmx.de

Stephan Uhlmann
Sandy Meier
Thomas Fromm