Quellcode und Flagge von Nordkorea. DPRK-Digitaltechnologie oder programmierbezogene Endlos-Animation