HAMBURG den 9 Junikl.