Adding the LaTeX file for the Vestibulum setting