13 1 : 8 s. : Amsterd.