AMSTERDAM den 1 mai.