HAMBURG deu 12 juli.