AMSTERDAM den 5 dee.