Initial import for the StA-LaTeX project.