9 r . ; Amsterd . , 90 d. d.