130 , 129 } a } ; Amsterd.