HAMBURG den 5 Junikl.