HAMBURG den 7 Junikl.