HAMBURG ( 1 , 31 Juli.