HR works its own brand of magic again
"To thank us, they paid us all double time for the hours worked, specifically including the hour skipped when the clocks went forward."
HR managed to do the reverse of that once.
I was a subcontractor on this one:
The project was a server upgrade for a customer during an Easter weekend plant shut down, and the agreed pay was x per day for 7 days straight, to include customer training after the upgrade.
HR somehow got involved and insisted that we'd want Good Friday through to Easter Monday as an unpaid holiday.
I politely said "No thanks".