Article Nº 3116 Office or position Vol. III · p. 309
District receiver
Original title: Recebedor do Distrito
Office of district receiver, which replaced that of receiver-general from 14 November 1835.
An office that replaced that of receiver-general (recebedor geral, head of the district revenue office) from 14 November 1835.