Amsterdam den 7 Dee.