13 " li 10 s. ; Amsterd,