HAMBURG dea 20 juli.