Hamburg ] " den 5 Juli.