13H 10 ) s. ; Amsterdam.