130 } a } ; Amsterd.