130 ) a ) ; Amsterd.