13 4 ) 9 } s. ; Amsterd.