13 11 4^ s. ; Amsterdam m . , 36:15.