Flush

Schreibt alle Daten aus der Datei-Eingabe-Ausgabe-Puffer in die Datei

void  Flush()