Die Themes funktioneren alle, aber ich wollte eigentlich das default deinstallieren und durch ein umbenanntes ersetzen. Leider läßt sich das default nicht deinstallieren.