Ist die Nationalhymne der DDR verboten?