On Wed, Jan 31, 2001 at 09:30:54PM -0000, schwanz@fh-brandenburg.de wrote:

Hi,

sorry for the crash, but the problem is fixed in CVS already.

Best wishes,
Carsten Pfeiffer