moved to http://wwwhome.cs.utwente.nl/~xsu