Sorry for sending three times the same mail. This was a mail server problem at our institute which has been hopefully fixed now. Volker