» Juni — Juli 158,50 159 t Sept . — Okt 151,25 152 Hamburg den 23 Maj den 22 Maj.