maj-juni 153 : 152 : — AMSTERDAM den 5 november.