AMSTERDAM der * 17 juli.