East German Stasi Spy Killed Protester, Ohnesorg, in 1967