Hi, Has it moved? What happened? I haven't been able to reach http://www-mash.cs.berkeley.edu/ns/ for ages... Cheers, Michael Welzl