Mein Handy ist nicht gerootet. Die vorgeschlagene App geht deshalb nicht. Aber ich hab das Problem anderweitig gelöst, nämlich mit einem Hardreset. Nach sehr, sehr langer Suche habe ich die Info bekommen, dass es wohl angesagt ist, nach einem Update der Android-Version einen Hardreset zu machen. Ob das generell empfohlen werden kann, weiss ich nicht. Macht meiner Meinung nach nicht wirklich Sinn. Mir hat es jetzt aber geholfen. Der Hotspot funzt wieder.
Nachdem ich mühsam alle 63 Apps wieder runter geladen und installiert hatte, entdeckte ich eine App, die bei einem Reset sehr hilfreich ist: AppMonster. Das hab ich mir nun geholt. Der Hardreset war nicht schwierig, nur zeitaufwändig, weil man eben alle Apps wieder installieren muss. Damit ich das Handy wieder mehr oder weniger so einrichten konnte, wie es war, habe ich vorher alle Bildschirme abfotografiert. Nun sind alle Apps wieder da, wo sie hingehören.