Es gibt mehrere Alternativen:
-
Wenn es schnell gehen soll, wie @Jan80 schreibt die 24 Wörter zur Wiederherstellung in einer Software Wallet eingeben, und die Coins auf eine andere Software Wallet senden. Parallel direkt neue Hardware Wallet bestellen.
Dabei ist eine Software Wallet als minimale Sicherheitslücke im Spiel. Also falls möglich auf einem möglichst sauberen, evtl. frisch installierten PC durchführen. Oder z.B. über ein Betriebssystem wie Tails OS, das man vom USB Stick aus starten kann.
Es geht natürlich auch auf dem Smartphone, aber dass das sicherer ist als ein frischer PC oder Tails OS bezweifle ich. -
Falls man eine zweite Hardware Wallet verfügbar hat, auf dieser eine neue Wallet anlegen (neue 24 Wörter), eine Empfangsadresse erzeugen und diese kopieren.
Anschließend die Hardware Wallet zurücksetzen und die 24 Wörter der ursprünglichen Wallet zur Wiederherstellung dort eingeben. Dann die Coins auf die kopierte Adresse der neuen Wallet senden. Abschließend die Hardware Wallet wieder mit den neuen 24 Wörtern einrichten.
Wenn man auf Nummer sicher gehen möchte, kann man auch zuerst einen kleinen Betrag auf die neue Adresse senden und prüfen ob es geklappt hat. Man muss dann aber mehrfach zwischen neuer und alter Wallet hin und her wechseln. -
Wie @Makowski neulich hier erklärt hat, kann man eine vorsignierte Notfall-Transaktion z.B. als ausgedruckten QR Code zuhause aufheben, um diese im Notfall einfach schnell über eine beliebige Wallet Software wie z.B. Electrum zu broadcasten.
Diese Transaktion sendet die Coins auf die Adresse einer anderen eigenen Wallet, welche man natürlich vorher irgendwann auch mit einer Hardware Wallet erzeugt hat.
P.S.: Im besten Fall kann der Dieb sowieso nichts mit der Hardware Wallet anfangen, da diese auch gegen solche Bedrohungen geschützt ist (max. Anzahl PIN Versuche etc.).