Red Flag, Original, GDR Rote Fahne, Original, DDR