13 ^ 5^ s. ; Amsterdam m .,