» Juni — Juli 153,75 151,75 » Sept . — Okt 150,50 149,75 Hamburg den 29 Maj den 28 Maj.