» Juli — Aug 148,75 148,50 » Sept.—Okt. ...... 146,50 146.50 Hamburg den 17 Juni den 16 Juni.