13 t 7 s. ; Amsterd.