13 ’ 9 ] s. ; — Amsterdam.