Did Ackermann produce a finitary consistency proof of second-order $PRA$?

Question

In Wilhelm Ackermann's Doctoral Thesis (it is claimed, by Richard Zach, for one, in his paper "The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program", arXiv: math/0102189v1 [mathLO] 24 Dec. 2001) there is a finitary proof of second-order $PRA$ (Primitive Recursive Arithmetic--Note also Zach states that Hilbert gave a finitary proof of $PRA$ in his lectures of 1921-22 and 1922-23). Is this true, and did Hilbert and Bernays recognize it as finitary? Also, is there an English translation of his thesis? Third, could someone give a short, precise synopsis of Hilbert's proof of the consistency of $PRA$? That would be very much appreciated.