» Juni — Juli 159,50 1 60,25 » Sept . — Okt 152,50 153,25 Hamburg den 14 Maj den 13 Maj.