13 11 7 s. ; Amsterdam m . , 36:10 , K. S.,