Hamburg den 20 Juli: