13 3 | 9 } s. ; Amsterd.