Hamburg den 20 Juli kl. S t / 2 e. m.: