» Juni — Juli 159,25 159,50 » Sept . — Okt 152 152,50 Hamburg den 16 Maj den 14 Maj.