Trauerfeier nach dem Olympiaattentat in München, 1972