Our script that syncs our own CVS-repository with the subversion repository at sourceforge does not work anymore. We are trying to fix it. We'll announce it here, if the current sources are available at sourceforge.