13 H 9 } s. ; Amsterdam,