13 H 9 s. ; Amsterd.