Fehler beim Ausführen des Befehls: diff -U 5 "/tmp/rnimGB" "/tmp/CRauxi"
diff -U 5 "/tmp/rnimGB" "/tmp/CRauxi"
No output on STDOUT.