File:800px-Flag of East Germany svg.png