tee

tee out.txt

Ausgaben gehen zur Standardausgabe und zugleich in die Ausgabe-Datei