AMSTERDAM den 1 december.