d s n t å e n n s t , t HAMBURG den 15 juli.