HAMBURG den 1 Junikl.