Protokoll für Termin1 auf globales tex setup umgestellt