- new official GiNaC homepage: www.ginac.de