Amsterdam den » 9 Maji.