So sieht es aus. Numiertiert sind sie, aber sie stehen in der Reihenfolge der Theme-ID da. Das "the DEAD smartphone" (unser mobiles Theme) habe ich vor dem "snowman in the woods" erstellt. Deshalb denke ich mal, dass da irgendwas mit der ID zusammenhängt.
Ha! Während meiner eigenen Suche hatte ich die Erweiterung an anderer Stelle (ich glaube, es war in der global.php) versucht. Auf die functions.php bin ich nicht gekommen - mein Schnippsel wäre immerhin schon mal richtig gewesen.
Leider hat es das aber auch in der functions.php nicht gebracht.
Ich habe das ganze noch einmal neu abgespeichert. Jetzt scheint es zu greifen. Dabei habe ich nur den Titel des Themes neu abgespeichert. Danke für deine Hilfe!