Wie lautet die Syntax zum Hinzufügen eines Favicons in HTML?