13 1 ) 10 s. ; Amsterd.