13Η ΟΚΤΩΒΡΙΟΥ

Ως επίσημη αργία του προσωπικού της ΔΕΗ καθιερώνεται από την επόμενη χρονιά η 13η Οκτωβρίου, επέτειος της Μάχης της Ηλεκτρικής