13 1 ) 8} s. ; Amsterd.