HAMBURG dea 17 Juli.