7 r . ; Amsterd.