* AMSTERDAM den 25 juli.