13 H 10 } s. ; Amsterdam,