"East German military personnel" . . . . . . .