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