ftp.math.uni-sb.de:pub/simath/