Johannes R. Becher und Hanns Eisler – Nationalhymne der DDR