国际劳动节
International Workers' Day was obligatory for millions. The "Tag der Republik" (the Day of the Republic), 7 October, was the anniversary of the creation of the GDR.