On Fragments of Analysis with Strengths of Finitely Iterated Inductive Definitions by Klaus Aehlig