13 H 12 * s. ; Amsterd.