Hoe onderscheid je de twee tijdstippen 25 oktober 02.30 uur?
Op 25 oktober 2017 eindigt de (vandaag begonnen) zomertijd en is het tweemaal half 3 (want vannacht is het nooit half 3 geweest).
Hoe maak je formeel onderscheid tussen die twee momenten? Wat zijn de officiële, eenduidige aanduidingen?