AMSTERDAM den 7 december.