13 H 8 s. ; Amsterd.