» Maj — Juni 172,75 1 72,25 » Juni — Juli 172,25 171,75 Hamburg den 3 Febr.