Energy production in Greece is dominated by the Public Power Corporation (known mostly by its acronym ΔΕΗ, or in English DEI). How much of all of Greece's energy demand was removed by DEI in 2005?