HAMBURG den 13 juli , kl. 11,55 min.