; r ; ; HAMBURG den 7 juli.