So ist es, es gibt amtliche Lang- und Kurzformen sowie nichtamtliche Bezeichnungen. Wie Prüm hättest du, TrueBlue, auch locker selbst darauf kommen können. Dass übrigens "Großdeutsches Reich" ab 1943 zur amtlichen Staatsbezeichnung wurde, stellt niemand in der Fachwelt ernsthaft infrage, vgl. statt aller Jörg Echternkamp. Benatrevqre 20:24, 6. Jul. 2016 (CEST)