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