Improve filter benchmark
Leftover from my master thesis.
Aufgrund einer Wartung werden git-ce.rwth-aachen.de und git.rwth-aachen.de am 29.10. zwischen 8 und 9 Uhr nicht zur Verfügung stehen. Aufgrund eines Storage Umzugs wird es bis 13 Uhr nicht möglich sein die Funktionen Registry und Artifacts zu verwenden. Am Ende der Wartung wird es nochmal zu einem kurzen Ausfall, aufgrund eines Neustarts, kommen.//Due to maintenance, git-ce.rwth-aachen.de and git.rwth-aachen.de will not be available on October 29th between 8 and 9 am. Due to a storage migration, it will not be possible to use the registry and artifacts functions until 1 pm. At the end of the maintenance there will be another short outage due to a restart.
Leftover from my master thesis.