13 ^ 10 s. ; Amsterd.