» Maj — Juni 174,25 174 » Juni — Juli 173,25 173,25 Hamburg den 17 Jan.