13 : 10 ) s. ; — Amsterdam.