Text this: Completeness and Hereditary Transfer of Exactness Properties for Internal Group Objects in D-Modules.