10j s. ; Amsterd.