AMSTERDAM den 5 Oktober.