13 11 5^ s. ; Amsterdam m . , 36:25 , K. S..