Hamburg den 20 Juli ; efter Börsens slut.