13 K 9 } s. : Amsterd.