“Chúng tôi đã được biết rằng giờ nghỉ trưa đối với công chức, khác với khu vực kinh tế tư nhân, được tính là thời gian làm việc có hưởng lương.”