nov.-dec 139 : 50 april-maj 138 : — 140 : 25 138 : 25 AMSTERDAM den 17 november.