9 f. ; Amsterd.