Löschen von Dateien

Die Dateien "tag_4_grep_potentially_false_positiv" und
"tag_4_test_potentially_false_positive" werden jetzt nicht mehr durch ein
Snippet gelöscht, das eigentlich eine andere Funktion hat, als diese Dateien zu
löschen.
Diese Dateien enthalten Änderungsinformationen und sollten bei Bedarf gezielt
gelöscht werden.