Regulation: exemption of Police Magistrate's Department from the operation of the Holidays Ordinance