Automata Inference mit Selenium versucht unserem Testprojekt
hinzuzufügen... Klappt aber nicht.