AMSTERDAM den 17 äng.