13 H 5 } s. ; Amsterdam m . , 35 : 95 K. S.,