Hamburg den 1 junikl.