[Banach] Abstract of a paper by Ulrich Kohlenbach and Laurentiu Leustean