Ist zwar schon ne Weile her, aber ich wollte berichten, dass das Problem bei mir gelöst ist.
Die Befehle im Menu Thunderbird funktionieren jetzt normal.
Wahrscheinlich lag es daran, daß ich mal das Add-on Torbirdy installiert hatte. Das greift in diverse Einstellungen zur Verbindung mit dem Internet ein. Ich hatte vor kurzem mal die dabei angelegte "Manuelle Proxy-Konfiguration" aus- und "Kein Proxy" eingeschaltet. Später bin ich wieder auf "Manuelle Proxy-Konfiguration" gegangen. Aber seitdem klappt alles normal.