 Many of the 80,000 people who filled the Olympic Stadium for West Germany's football match with Hungary carried noisemakers and waved flags, but when several spectators unfurled a banner reading "17 dead, already forgotten?