dear all, today Friday 14:44 CEST the berkeley server will have a short maintainence increasing disk space. greetings, math -- Institut für Informatik Universität Leipzig Johannisgasse 26, 04103 Leipzig Phone: +493419732283