Fehler beim Ausführen des Befehls: diff -U 5 "/tmp/F6OTIN" "/tmp/U25jb6"

No output on STDOUT.