In the German miniseries Deutschland 83, a college professor who organizes student anti-nuclear protests is actually an East German operative. Was this common during the Cold War?