HAMBURG den 23 juliff