HAMBURG den 1 junikl.