protokoll.tex in mehrere Dateien aufgespalten