Re-used in https://www.heise.de/tp/features/70-Jahre-BRD-alles-andere-als-friedliche-Anfaenge-4432017.html