Traue mich gar nicht, Safari neu zu starten. Dann sind sie sicher alle weg, die Extensions?!