AMSTERDAM ) den 10 dec.