13 H 12 } s. ; Amsterd.