Ruhr-Universität Bochum / FSR Informatik / VSCode-TeX-Editor