Hatte die DDR eine eigene Nationalhymne?