fl r . ; Amsterd.