13 ^1 10 s. ; Amsterd.