TREVES, a district in Prussia. See TRIER.