~ r . ; Amsterd.