13 K 9 ) s. ; Amsterdam.