r , ; Amsterd . , 7^ d. d.