HAMBURG dea 25 Juli.