Principal ideal domain that is a local ring and not a field.