b'Heute vor 70 Jahren wurde der 17. Juni im Gedenken an den Aufstand in der DDR von der damaligen Bundesrepublik Deutschland zum gesetzlich Feiertag erkl\\xe4rt.'