rAKA/doc/manual/manual-titlepages.tex

bugfixes/64bit-integer…cbccffa9957f7681b4ee6f0…