13 7f s. ; Amsterd.