13 H 5f s. ; Amsterdam m . , 36:30.