13 H 83 s. ; Amsterd.