AMSTERDAM den 18 Mais.