Work done

$Date: 2006-05-08 16:11:21 +0200 (Mon, 08 May 2006) $ $Author: reinhard $