kompilieren Tex