13 H li s. ; Amsterd.