On Mon, Feb 21, 2005 at 07:58:12PM +0100, Andreas Jochens wrote: > > If nobody else comes up with a different proposal and > no other problems occur, I would like to change the > name on 2005-03-15 (three weeks from now). An exact hour would be nice too. Kurt