What seems to have been decided by this ruling effectively comes down to a rule that every hour of actual employment (whether contractual or overtime) needs to be accompanied by a payment for holidays.
The holiday pay probably amounts to about 7-8 minutes' pay for every hour actually worked...