Correct!
Actually, I was rather busy at the time for obvious reasons. After the two Cobra helicopters finished with the idiot, there was not much left of him.
As I was told later, it was an East German shooter responsible.