Working Time, Ireland