13 fj 5 * s. ; Amsterd.