Anderes Favicon (macht mich verrückt, nicht zwischen php.de-Tabs und php-de.io-Tabs unterscheiden zu können)