Exemption of Police Magistrate's Department from provisions of Holidays Ordinance, 1875