» Maj — Juni 175,25 175,50 » Juni — Juli ...... 174,25 174,50 Hamburg den 21 Jan.