This page can be found under
http://www3.math.tu-berlin.de/jreality
.