Die Adresse des CVS-Repositorys hat sich verändert. Die aktualisierten Daten gibt es wie üblich auf der Seite CVS-Repository nachzulesen.

Bitte beachtet, dass ein CVS-Zugriff ab sofort ausschließlich mit den neuen Daten möglich ist - der CVS-Dienst auf dem bisherigen Server wurde deaktiviert.