HAMBURG den 15 juli , kl. 9,25 min.