double summer time

Double summertime in Ireland had some curious effects on timetables, seeing that in Eire the single additional hour only was worked to, whereas in Northern Ireland the full British two-hour addition was in operation.