File:East German flag.png