Definition: A commutative integral domain whose localizations at maximal ideals are all discrete valuation rings, or a field