AMSTERDAM den 5 Dee.