Germany strikes compensation deal with 1972 Olympics victims’ families