Is 3am really the cheapest time? A year of half-hourly electricity prices, month by month