ΔΕΗ: Η καθιέρωση της 13ης Οκτωβρίου ως αργίας θα αντικαταστήσει άλλη υφιστάμενη αργία