HAMBURG deu 9 juli.