Noetherian normal domain