13H 12f s. ; Amsterdam , 35 : 60 ;K.