Amsterdam den » 3 Juli.