Win32, ReadFile aus Pipe-Block, auch nachdem Child beendet wurde

Ich habe ein einfaches Programm (in C), das zwei untergeordnete Prozesse erstellt, auf jeweils eine geerbte Pipe wartet und die Ausgabe in eine Datei schreib...