13 s ] 12 s. ; Amsterd.2 m .,