neuer Name "history"

Neuer Name für "tag_4_grep_potentially_false_positive" -> "history"
Merge branch 'master' into develop_tag_4_grep_potentially_false_positive
Merge branch 'master' into develop_tag_4_grep_potentially_false_positive
Debugmeldungen entfernt