Der 7. Oktober war seit 1949 der "Tag der Republik" der DDR – einer von zwei Gedenktagen in der DDR, an denen nicht gearbeitet…