Stephan Rudlof wrote:

> >
> > http://ifsl.mb.uni-magdeburg.de/~michael/
> 
> sr at Klaus:~/Squeak/Import > ping ifsl.mb.uni-magdeburg.de
> ping: unknown host: ifsl.mb.uni-magdeburg.de
> 
> Could you check the link please?

Just clicked on it and it's fine (from behind the firewall at Disney).
Something wrong with your name server?

Non-authoritative answer:
Name:    ifsl120.MB.Uni-Magdeburg.DE
Address:  141.44.153.120
Aliases:  ifsl.mb.uni-magdeburg.de 

Michael